Estructura de incidencia

En matemáticas, una estructura de incidencia es un sistema abstracto que consta de dos tipos de objetos y una única relación entre estos tipos de objetos. Considérense los puntos y las rectas de un plano como los dos tipos de objetos, e ignórense todas las propiedades de esta geometría, excepto el criterio de relación, es decir, establecer qué puntos están en qué rectas para todos los puntos y rectas definidos. Lo que queda es la estructura de incidencia en un plano euclídeo.

Las estructuras de incidencia se consideran con mayor frecuencia en el contexto geométrico, donde se trabaja sobre planos (como el plano afín, el plano proyectivo o el plano de Möbius), pero el concepto es muy amplio y no se fija exclusivamente en las configuraciones geométricas. Incluso en un entorno geométrico, las estructuras de incidencia no se limitan solo a puntos y rectas; y se pueden utilizar objetos de dimensiones superiores (planos, sólidos, espacios n-dimensionales, o superficies cónicas). El estudio de estructuras finitas a veces se denomina geometría finita.^[1]​

1. ↑ Colbourn y Dinitz, 2007